-
1 arithmetically provable
Большой англо-русский и русско-английский словарь > arithmetically provable
-
2 arithmetically provable
Математика: арифметически доказуемыйУниверсальный англо-русский словарь > arithmetically provable
-
3 arithmetically provable
English-Russian scientific dictionary > arithmetically provable
-
4 arithmetically provable formula
Математика: арифметически доказуемая формулаУниверсальный англо-русский словарь > arithmetically provable formula
-
5 arithmetically provable formula
English-Russian scientific dictionary > arithmetically provable formula
-
6 arithmetically
арифметически arithmetically consistent data ≈ арифметически непротиворечивые данные arithmetically definable set ≈ арифметически определимое множество arithmetically defined subgroup ≈ арифметически определенная подгруппа arithmetically equivalent degree ≈ арифметически эквивалентная степень arithmetically expressible sentence ≈ арифметически выразимое высказывание arithmetically extensible function ≈ арифметически продолжаемая функция arithmetically normal variety ≈ арифметически нормальное многообразие arithmetically provable formula ≈ арифметически доказуемая формула arithmetically valid formula ≈ арифметически общезначимая формула completely arithmetically productive set ≈ вполне арифметически продуктивное множество - arithmetically connected - arithmetically definable - arithmetically equivalent - arithmetically extensible - arithmetically provable - arithmetically validарифметическиБольшой англо-русский и русско-английский словарь > arithmetically
-
7 provable
матем. доказуемый arithmetically provable formula ≈ арифметически доказуемая формула formally provable theorem ≈ лог. формально доказуемая теорема geometrically provable formula ≈ геометрически доказуемая формула - arithmetically provable - formally provable - geometrically provable - intuitionistically provable - provable definability - provable equation - provable formula - provable sentence - provable sequent - provable statement доказуемый provable доказуемыйБольшой англо-русский и русско-английский словарь > provable
-
8 provable
матем. -
9 арифметически доказуемая формула
Русско-английский научно-технический словарь Масловского > арифметически доказуемая формула
-
10 арифметически доказуемый
Русско-английский научно-технический словарь Масловского > арифметически доказуемый
-
11 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
12 арифметически доказуемый
Большой англо-русский и русско-английский словарь > арифметически доказуемый
-
13 арифметически доказуемая формула
Mathematics: arithmetically provable formulaУниверсальный русско-английский словарь > арифметически доказуемая формула
-
14 арифметически доказуемый
Mathematics: arithmetically provableУниверсальный русско-английский словарь > арифметически доказуемый
-
15 sentence
1) высказывание; предложение; фраза2) суждение•- almost false sentence - almost true sentence - analytically expressible sentence - arithmetically expressible sentence - logically universal sentence - logically valid sentence
См. также в других словарях:
Ω-consistent theory — In mathematical logic, an ω consistent (or omega consistent, also called numerically segregativeW.V.O. Quine, Set Theory and its Logic ] ) theory is a theory (collection of sentences) that is not only (syntactically) consistent (that is, does not … Wikipedia
ω-consistent theory — In mathematical logic, an ω consistent (or omega consistent, also called numerically segregative[1]) theory is a theory (collection of sentences) that is not only (syntactically) consistent (that is, does not prove a contradiction), but also… … Wikipedia
Tarski's undefinability theorem — Tarski s undefinability theorem, stated and proved by Alfred Tarski in 1936, is an important limitative result in mathematical logic, the foundations of mathematics, and in formal semantics. Informally, the theorem states that arithmetical truth… … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium